1.
Logic Program Synthesis and Transformation: Proceedings of LOPSTR 91, International Workshop...
by Clement, Tim P., Lau, K. L....
ISBN: 9780387197425
List Price: $59.95
2.
Logic Program Synthesis and Transformation: Proceedings of LOPSTR '92, International Worksho...
by Lau, Kung-Kiu, Clement, Tim P.
ISBN: 9780387198064
List Price: $69.95